body {
  color: black;
}

a {
  text-decoration: none;
  color: black;
}

a:hover {
  text-decoration: underline;
}

a:visited {
  color: #444;
}

.highlight {
  border: 1px dashed black;
  background-color: #f2f5ff;
  cursor: pointer;
}

.highlight a {
  text-decoration: none;
}

.highlight a:hover {
  text-decoration: none;
}

.dashed {
  border: 1px dashed black;
}

.introduction {
  color: #777;
}

.index {
  background-color: #3f4d8e;
  color: #FFFFFF;
}

.index a {
  color: #ffffff;
  text-decoration: underline;
}

.index a:visited {
  color: #CCCCCC;
}
